%%%%%%%%% LUCA's bibliography %%%%%%%%%

@INPROCEEDINGS{Sidhu05proteinontology,
    author = {Eep S. Sidhu and Tharam S. Dillon and Elizabeth Chang and Baldev S. Sidhu},
    title = {Protein ontology development using oWL},
    booktitle = {in Proceedings of the First OWL Experiences and Directions Workshop},
    year = {2005},
    pages = {188}
}

@inproceedings{Wolstencroft:2005:LSW:2079844.2079902,
 author = {Wolstencroft, K. and Brass, A. and Horrocks, I. and Lord, P. and Sattler, U. and Turi, D. and Stevens, R.},
 title = {A Little Semantic Web Goes a Long Way in Biology},
 booktitle = {Proceedings of the 4th International Conference on The Semantic Web},
 series = {ISWC'05},
 year = {2005},
 isbn = {3--540-29754-5, 978-3-540-29754-3},
 location = {Galway, Ireland},
 pages = {786--800},
 numpages = {15},
 url = {http://dx.doi.org/10.1007/11574620_56},
 doi = {10.1007/11574620_56},
 acmid = {2079902},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@article{Golbreich:2006:FMA:1222219.1222304,
 author = {Golbreich, Christine and Zhang, Songmao and Bodenreider, Olivier},
 title = {The Foundational Model of Anatomy in OWL: Experience and Perspectives},
 journal = {Web Semant.},
 issue_date = {September, 2006},
 volume = {4},
 number = {3},
 month = sep,
 year = {2006},
 issn = {1570-8268},
 pages = {181--195},
 numpages = {15},
 url = {http://dx.doi.org/10.1016/j.websem.2006.05.007},
 doi = {10.1016/j.websem.2006.05.007},
 acmid = {1222304},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {Anatomy, Foundational Model of Anatomy (FMA), Ontology, Prot{\'e}g{\'e}, Semantic Web, Web Ontology Language (OWL)},
}

@incollection{Nardi:2003:IDL:885746.885748,
 author = {Nardi, Daniele and Brachman, Ronald J.},
 chapter = {An Introduction to Description Logics},
 title = {The Description Logic Handbook},
 editor = {Baader, Franz and Calvanese, Diego and McGuinness, Deborah L. and Nardi, Daniele and Patel-Schneider, Peter F.},
 year = {2003},
 isbn = {0-521-78176-0},
 pages = {1--40},
 numpages = {40},
 url = {http://dl.acm.org/citation.cfm?id=885746.885748},
 acmid = {885748},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@incollection{Baader:2003:BDL:885746.885749,
 author = {Baader, Franz and Nutt, Werner},
 chapter = {Basic Description Logics},
 title = {The Description Logic Handbook},
 editor = {Baader, Franz and Calvanese, Diego and McGuinness, Deborah L. and Nardi, Daniele and Patel-Schneider, Peter F.},
 year = {2003},
 isbn = {0-521-78176-0},
 pages = {43--95},
 numpages = {53},
 url = {http://dl.acm.org/citation.cfm?id=885746.885749},
 acmid = {885749},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@article{Schmidt-SchaubB:1991:ACD:114341.114342,
 author = {Schmidt-Schaub\ss, Manfred and Smolka, Gert},
 title = {Attributive Concept Descriptions with Complements},
 journal = {Artif. Intell.},
 issue_date = {Feb. 1991},
 volume = {48},
 number = {1},
 month = feb,
 year = {1991},
 issn = {0004-3702},
 pages = {1--26},
 numpages = {26},
 url = {http://dx.doi.org/10.1016/0004-3702(91)90078-X},
 doi = {10.1016/0004-3702(91)90078-X},
 acmid = {114342},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
}

@online{obitko,
  author = {Marek Obitko},
  title = {Introduction to Ontologies and Semantic Web},
  year = 2007,
  url = {http://www.obitko.com/tutorials/ontologies-semantic-web/},
  urldate = {2014-06-15}
}

@inproceedings{conf/ieeehpcs/SripriyaBS09,
  added-at = {2012-08-29T00:00:00.000+0200},
  author = {Sripriya, G. and Bundy, Alan and Smaill, Alan},
  biburl = {http://www.bibsonomy.org/bibtex/22d42faab26dc71481629243714d6aa7c/dblp},
  booktitle = {HPCS},
  crossref = {conf/ieeehpcs/2009},
  editor = {Smari, Waleed W. and McIntire, John P.},
  ee = {http://dx.doi.org/10.1109/HPCSIM.2009.5195313},
  interhash = {55a0e863ad24d6600fa9cde45e145894},
  intrahash = {2d42faab26dc71481629243714d6aa7c},
  keywords = {dblp},
  pages = {168-175},
  publisher = {IEEE},
  timestamp = {2012-08-29T00:00:00.000+0200},
  title = {Concurrent-distributed programming techniques for SAT using DPLL-stålmarck.},
  url = {http://dblp.uni-trier.de/db/conf/ieeehpcs/ieeehpcs2009.html#SripriyaBS09},
  year = 2009
}

@inproceedings{conf/aiia/GiordanoGJOP13,
  added-at = {2013-12-28T00:00:00.000+0100},
  author = {Giordano, Laura and Gliozzi, Valentina and Jalal, Adam and Olivetti, Nicola and Pozzato, Gian Luca},
  biburl = {http://www.bibsonomy.org/bibtex/2f2d7a19dfac25730851254bd9f20a65c/dblp},
  booktitle = {AI*IA},
  crossref = {conf/aiia/2013},
  editor = {Baldoni, Matteo and Baroglio, Cristina and Boella, Guido and Micalizio, Roberto},
  ee = {http://dx.doi.org/10.1007/978-3-319-03524-6_6},
  interhash = {c54180a521c2c1cce38e5bc07783daa2},
  intrahash = {f2d7a19dfac25730851254bd9f20a65c},
  isbn = {978-3-319-03523-9},
  keywords = {dblp},
  pages = {60-72},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2013-12-28T00:00:00.000+0100},
  title = {PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.},
  url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2013.html#GiordanoGJOP13},
  volume = 8249,
  year = 2013
}

@online{rmi,
   author = "Oracle",
   title = "Java SE 7 Remote Method Invocation (RMI)-related APIs \& Developer Guides",
   year = "2014",
   url = "http://docs.oracle.com/javase/7/docs/technotes/guides/rmi/",
   note = "[Online; accessed September-2014]"
}

@online{sicstus_jasper,
   author = "SICS",
   title = "Jasper Overview",
   year = "2014",
   url = "http://sicstus.sics.se/sicstus/docs/latest4/html/sicstus/Jasper-Overview.html",
   note = "[Online; accessed September-2014]"
}

@online{sicstus_intro,
   author = "SICS",
   title = "Introduction to SICStus",
   year = "2014",
   url = "http://sicstus.sics.se/sicstus/docs/latest4/html/sicstus/Intro.html",
   note = "[Online; accessed September-2014]"
}

@online{oracle_rmi,
   author = "Oracle",
   title = "Java(TM) Remote Method Invocation API (Java RMI)",
   year = "2014",
   url = "http://docs.oracle.com/javase/7/docs/technotes/guides/rmi/",
   note = "[Online; accessed September-2014]"
}

@book{Almasi:1989:HPC:160438,
 author = {Almasi, G. S. and Gottlieb, A.},
 title = {Highly Parallel Computing},
 year = {1989},
 isbn = {0-8053-0177-1},
 publisher = {Benjamin-Cummings Publishing Co., Inc.},
 address = {Redwood City, CA, USA},
} 

@online{oracle_thread,
   author = "Oracle",
   title = "Java(TM) Tutorials - Lesson: Concurrency",
   year = "2014",
   url = "http://docs.oracle.com/javase/tutorial/essential/concurrency/",
   note = "[Online; accessed September-2014]"
}

@article{Giordano:2013:NDL:2435476.2435957,
 author = {Giordano, L. and Gliozzi, V. and Olivetti, N. and Pozzato, G. L.},
 title = {A Non-monotonic Description Logic for Reasoning About Typicality},
 journal = {Artif. Intell.},
 issue_date = {February, 2013},
 volume = {195},
 month = feb,
 year = {2013},
 issn = {0004-3702},
 pages = {165--202},
 numpages = {38},
 url = {http://dx.doi.org/10.1016/j.artint.2012.10.004},
 doi = {10.1016/j.artint.2012.10.004},
 acmid = {2435957},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 keywords = {Description Logics, Non-monotonic reasoning, Prototypical reasoning, Tableau calculi},
}

@book{Lloyd:1984:FLP:2214,
 author = {Lloyd, J. W.},
 title = {Foundations of Logic Programming},
 year = {1984},
 isbn = {0-387-13299-6},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
}

@inproceedings{Voorbraak:1991:PMS:646559.695082,
 author = {Voorbraak, Frans},
 title = {A Preferential Model Semantics For Default Logic},
 booktitle = {Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty},
 series = {ECSQAU},
 year = {1991},
 isbn = {3-540-54659-6},
 pages = {344--351},
 numpages = {8},
 url = {http://dl.acm.org/citation.cfm?id=646559.695082},
 acmid = {695082},
 publisher = {Springer-Verlag},
 address = {London, UK, UK},
}

@inproceedings{Sengupta:2011:LCW:2063016.2063056,
 author = {Sengupta, Kunal and Krisnadhi, Adila Alfa and Hitzler, Pascal},
 title = {Local Closed World Semantics: Grounded Circumscription for OWL},
 booktitle = {Proceedings of the 10th International Conference on The Semantic Web - Volume Part I},
 series = {ISWC'11},
 year = {2011},
 isbn = {978-3-642-25072-9},
 location = {Bonn, Germany},
 pages = {617--632},
 numpages = {16},
 url = {http://dl.acm.org/citation.cfm?id=2063016.2063056},
 acmid = {2063056},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

%%%%%%%%%%% OLD bibliography %%%%%%%%%%

@INPROCEEDINGS{tableaux2011DLs,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{A tableau calculus for a nonmonotonic extension of $\mathcal{EL}^\bot$}},
  booktitle = {Proceedings of TABLEAUX 2011 (20th International Conference on Automated
	Reasoning with Analytic Tableaux and Related Methods)},
  editor = {Br\"unnler, K. AND Metcalfe, G.},
  year = {2011},
  volume = {6793},
  pages={180--195},
  series = {LNAI},
  address = {Bern, Switzerland},
  month = {July},
  publisher = {Springer-Verlag},
  pdf = {http://www.di.unito.it/\~{}argo/papers/2011_TABLEAUXb.pdf},
  keywords = {description_logics,tableaux,theorem_proving,nonmonotonic_reasoning}
}

@INPROCEEDINGS{aiia2011,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{A tableau calculus for a nonmonotonic extension of the Description Logic $\mathit{DL-Lite}_\mathit{core}$}},
  booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond
               - XIIth International Conference of the Italian Association
               for Artificial Intelligence, Palermo, Italy, September 15-17,
               2011. Proceedings},
  editor = {Pirrone, R. AND Sorbello, F.},
  year = {2011},
  volume = {6934},
  series = {LNAI},
pages     = {164-176},
   address = {Palermo, Italy},
  month = {Sptember},
  publisher = {Springer-Verlag},
  pdf = {http://www.di.unito.it/\~{}argo/papers/2011_AIIAb.pdf},
  keywords = {description_logics,tableaux,theorem_proving,nonmonotonic_reasoning}
}

@article{rosatiacm,
  author    = {Boris Motik and
               Riccardo Rosati},
  title     = {{Reconciling Description Logics and rules}},
  journal   = {Journal of the ACM},
  volume    = {57},
  number    = {5},
  year      = {2010}
}

@inproceedings{hitzlerrr,
  author    = {Adila Alfa Krisnadhi and
               Kunal Sengupta and
               Pascal Hitzler},
  title     = {{Local Closed World Semantics: Grounded Circumscription for
               Description Logics}},
  booktitle = {Proceedings of the 5th International Conference on Web Reasoning and Rule Systems
               (RR 2011)}, 
  address={Galway, Ireland}, 
  month={August},
  year      = {2011},
  pages     = {263-268},
  editor    = {Sebastian Rudolph and
               Claudio Gutierrez},
  series    = {Lecture Notes in Computer Science (LNCS)},
  volume    = {6902},              
  publisher = {Springer}
}

@inproceedings{hitzlerdl,
  author    = {Adila Alfa Krisnadhi and
               Kunal Sengupta and
               Pascal Hitzler},
  title     = {Local Closed World Semantics: Keep it simple, stupid!},
  booktitle = {Proceedings of the 24th International Workshop on Description
               Logics (DL 2011)},
  address = {Barcelona, Spain},
   series    = {CEUR Workshop Proceedings},
  volume    = {745},
 month={July},
  year      = {2011}
}

@inproceedings{hitzlertableau,
  author    = {Stephan Grimm and
               Pascal Hitzler},
  title     = {{A Preferential Tableaux Calculus for Circumscriptive $\mathcal
               ALCO$}},
  booktitle = {Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
               (RR 2009)}, 
  year      = {2009},
   address={Chantilly, VA, USA}, 
  month={October},
 pages     = {40-54},
 editor    = {Axel Polleres and
               Terrance Swift},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science (LNCS)},
  volume    = {5837}
 }

@inproceedings{bonattiaaai2011,
  author    = {Piero A. Bonatti and
               Marco Faella and
               Luigi Sauro},
  title     = {Adding Default Attributes to $\mathcal{EL}$++},
  booktitle = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial
               Intelligence (AAAI 2011)},
  year      = {2011},
 editor    = {Wolfram Burgard and
               Dan Roth},
   publisher = {AAAI Press},
   address={San Francisco, California, USA},
   month={August}
}

@inproceedings{bonattiijcai2011,
  author    = {Piero A. Bonatti and
               Marco Faella and
               Luigi Sauro},
  title     = {On the Complexity of $\mathcal{EL}$ with Defeasible Inclusions},
  booktitle = {Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)},
  address={Barcelona, Spain},
  month={July},
  editor={Toby Walsh},
  publisher={Morgan Kaufmann},
  year      = {2011},
  pages     = {762-767}
}

@inproceedings{stracciaijcai2011,
  author    = {Giovanni Casini and
               Umberto Straccia},
  title     = {{Defeasible Inheritance-Based Description Logics}},
  booktitle = {Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)},
  address={Barcelona, Spain},
  month={July},
  editor={Toby Walsh},
  publisher={Morgan Kaufmann},
  year      = {2011},
  pages     = {813-818}
}

@article{bonattilutz,
  author    = {Piero A. Bonatti and
               Carsten Lutz and
               Frank Wolter},
  title     = {{The Complexity of Circumscription in DLs}},
  journal   = {Journal of Artificial Intelligence Research (JAIR)},
  volume    = {35},
  year      = {2009},
  pages     = {717-773}
}


@article{mcCarthy86,
  author    = {John McCarthy},
  title     = {Applications of Circumscription to Formalizing Common-Sense
               Knowledge},
  journal   = {Artificial Intelligence},
  volume    = {28},
  number    = {1},
  year      = {1986},
  pages     = {89-116}
}


@inproceedings{junkerkonolige,
  author    = {Ulrich Junker and
               Kurt Konolige},
  title     = {Computing the Extensions of Autoepistemic and Default Logics
               with a Truth Maintenance System},
  booktitle = {AAAI},
  year      = {1990},
  pages     = {278-283}
}

@inproceedings{schwindrisch,
  author    = {Camilla Schwind and
               Vincent Risch},
  title     = {A Tableau-Based Characterisation for Default Logic},
  booktitle = {ECSQARU},
  year      = {1991},
  pages     = {310-317},
  ee        = {http://dx.doi.org/10.1007/3-540-54659-6_107}
}

@MastersThesis{tesiRognone,
  author = {Rognone, D.},
  title = {{Non Monotonic Extensions of DLs: Reasoning About Typicality with Number Restrictions}},
  school = {{U}niversit\`a degli {S}tudi di {T}orino},
  year = {2009},
}

@inproceedings{FahlmanTR81,
  author    = {Scott E. Fahlman and
               David S. Touretzky and
               Walter van Roggen},
  title     = {Cancellation in a Parallel Semantic Network},
  booktitle = {Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 1981)},
  address={Vancouver, BC, Canada},
  month={August},
  editor={Patrick J. Hayes},
  publisher={William Kaufmann},
  year      = {1981},
  pages     = {257-263}
}


@inproceedings{EtheringtonReiter83,
  author    = {David W. Etherington and
               Raymond Reiter},
  title     = {On Inheritance Hierarchies With Exceptions},
  booktitle = {AAAI},
  year      = {1983},
  pages     = {104-108}
}

@inproceedings{bonattilutzwolterkr06,
  author    = {Piero A. Bonatti and
               Carsten Lutz and
               Frank Wolter},
  title     = {{Description Logics with Circumscription}},
  booktitle = {Proceedings of the Tenth International Conference on Principles
               of Knowledge Representation and Reasoning (KR 2006)},
  address={Lake District of the United Kingdom},
  publisher = {AAAI Press},
  editor    = {Patrick Doherty and
               John Mylopoulos and
               Christopher A. Welty},
  year      = {2006},
  pages     = {400-410}
}


@INPROCEEDINGS{aiia2009,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{Reasoning about typicality with low complexity Description Logics: the logic $\mathcal{EL}^{+^\bot}\tip$}},
  booktitle = {{AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XI Conference of the Italian Association for Artificial Intelligence}},
  year = {2009},
  editor = {Serra, R. AND Cucchiara, R.},
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  volume={5883},
  pages={62--71},
  address = {Reggio Emilia, Italy},
  month = {December},
  publisher = {Springer-Verlag},
  key_words={description_logics}
}

@INPROCEEDINGS{jelia2012nmr,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{A minimal model semantics for nonmonotonic reasoning}},
  booktitle = {Logics in Artificial Intelligence - 13th European Conference, JELIA 2012},
  editor = {Luis Fari\~{n}as del Cerro, Andreas Herzig, J\'er\^{o}me Mengin},
  year = {2012},
  volume = {7519},
  series = {LNAI},
pages     = {228--241},
   address = {Toulouse, France},
  month = {Sptember},
  publisher = {Springer-Verlag},
  pdf = {http://www.di.unito.it/\~{}argo/papers/2012_JELIAa.pdf},
  keywords = {rational_closure,preferential_semantics,nonmonotonic_reasoning}
}


@inproceedings{bonattiiswc,
  author    = {P. Bonatti and
               M. Faella and
               L. Sauro},
  title     = {$\mathcal{EL}$ with Default Attributes and Overriding},
  booktitle = {9th International Semantic
               Web Conference (ISWC 2010)},
  year      = {2010},
  editor    = {Patel-Schneider, P.F. and
               Pan, Y. and
               Hitzler, P. and
               Mika, P. and
               Zhang, L. and
               Pan, J. Z. and
               Horrocks, I. and
               Glimm, B.},
  address = {Shanghai, China},
  month = {November},
  publisher = {Springer},             
  series = {Lecture Notes in Computer Science (LNCS)},
  volume={6496},
  pages     = {64--79}
}

@INPROCEEDINGS{lpnmr2009,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{Prototypical reasoning with low complexity Description Logics: preliminary results}},
  booktitle = {Proceedings of LPNMR 2009 (10th International Conference on Logic Programming and Nonmonotonic Reasoning)},
  year = {2009},
  editor = {Lin, F. AND Schaub, T. AND Erdem, E.},
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  volume={5753},
  pages={430-436},
  address = {Potsdam, Germany},
  month = {September},
  publisher = {Springer-Verlag},
  key_words={description_logics}
}

@INPROCEEDINGS{ijcai2011,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{Reasoning about typicality in low complexity DLs: the logics $\eltm$ and $\dlltm$}},
  booktitle = {Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)},
  address={Barcelona, Spain},
  month={July},
  editor={Toby Walsh},
  publisher={Morgan Kaufmann},
  pages={894--899},
  year = {2011}
}

@inproceedings{rifdllite,
  author    = {D. Calvanese and
               G. De Giacomo and
               D. Lembo and
               M. Lenzerini and
               R. Rosati},
  editor    = {Veloso, M.M. and
               Kambhampati, S.},
  booktitle     = {Proceedings of the 20th National Conference on Artificial
               Intelligence and the 17th Innovative Applications
               of Artificial Intelligence Conference}, 
  month={July},
    address={Pittsburgh, Pennsylvania, USA},
  publisher = {AAAI Press / The MIT Press},
  title     = {{DL-Lite: Tractable Description Logics for Ontologies}},
  year      = {2005},
  pages     = {602-607}
}

@inproceedings{rifel,
  author = {F. Baader and S. Brandt and C. Lutz},
  title = {{Pushing the} $\mathcal{EL}$ {envelope}},
  booktitle = {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)},
  editor={Kaelbling, L.P. and Saffiotti, A.},
  address={Edinburgh, Scotland, UK},
  month={August},
  publisher={Professional Book Center},
  pages={364--369},
  year={2005}
}

@inproceedings{brewka87,
  author    = {Gerhard Brewka},
  title     = {The Logic of Inheritance in Frame Systems},
  editor={McDermott, J.P.},
  booktitle = {Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI 1987)},
  address={Milan, Italy},
  month={August},
  publisher={Morgan Kaufmann},
  year      = {1987},
  pages     = {483--488}
}

@inproceedings{cadoli90,
  author    = {M. Cadoli and F. Donini and M. Schaerf},
  title     = {Closed world reasoning in hybrid systems},
  booktitle = {Proceedings of the 6th International Symposium on Methodologies for Intelligent
Systems (ISMIS-90)},
  year      = {1990},
  address={North Holland},
  pages     = {474\D0-481}
}

@article{reiter,
  author    = {Raymond Reiter},
  title     = {A Logic for Default Reasoning},
  journal   = {Artificial Intelligence},
  volume    = {13},
  number    = {1-2},
  year      = {1980},
  pages     = {81--132}
}






@inproceedings{casinistraccia2010,
  author    = {G. Casini and
               U. Straccia},
  editor    = {Janhunen, T. and
               Niemel{\"a}, I.},
  title     = {{Rational Closure for Defeasible Description Logics}},
  booktitle = {Proceedings of the 12th European Conference on Logics in
    Artificial Intelligence (JELIA 2010)},
  address   ={Helsinki, Finland},
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  volume={6341},
  month     ={September},
  year      = {2010},
  publisher = {Springer},
  pages     = {77--90}
}


@article{calvanese,
  author    = {D. Calvanese and
               G. De Giacomo and
               D. Lembo and
               M. Lenzerini and
               R. Rosati},
  title     = {{Tractable Reasoning and Efficient Query Answering in Description
               Logics: The {\it DL-Lite} Family}},
  journal   = {Journal of Automated Reasoning (JAR)},
  volume    = {39},
  number    = {3},
  year      = {2007},
  pages     = {385-429}
}

@INPROCEEDINGS{lpar2010,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{A nonmonotonic extension of  KLM Preferential Logic P}},
  booktitle = {Proceedings of the 17th Conference on Logic for Programming,
	Artificial Intelligence, and Reasoning (LPAR 2010)},
  year = {2010},
  editor = {Ferm\"uller, C. G. and Voronkov, A. },
  volume = {6397},
  series = {ARCoSS Lecture Notes in Computer Science (LNCS)},
  pages = {317--332},
  address = {Yogyakarta, Indonesia},
  month = {October},
  isbn={978-3-642-16241-1},
  publisher = {Springer-Verlag},
  key_words={description_logics,ontologies,klm_logics}
}


@INPROCEEDINGS{cilc2010,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{Reasoning About Typicality in Preferential Description
Logics: Preferential vs Rational Entailment}},
  booktitle = {Proceedings of the 25th Convegno Italiano di Logica Computazionale (CILC 2010)},
  pdf = {http://www.mat.unical.it/CILC2010/},
  year = {2010},
  editor = {Faber, W. and Leone, N.},
  pages={1--15},
  address = {Rende (CS), Italy},
  month = {July},
  keywords = {description_logics, non_monotonic_reasoning},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {598},
}


@article{tr2008,
  author={L.~Giordano and V.~Gliozzi and N.~Olivetti and G.~L.~Pozzato},
  title={{On Extending Description Logics for Reasoning About Typicality: a First Step}},
  year={2009},
  journal={TR Dip. di Informatica, 
    \emph{\texttt{http://www.di.unito.it/$\thicksim$pozzato/tr09.pdf}}}
}

@INPROCEEDINGS{ecai2010,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{Preferential vs Rational Description Logics: which one
for Reasoning About Typicality?}},
  booktitle = {Proceedings of the 19th European Conference on Artificial
	Intelligence (ECAI 2010)},
  pages={1069--1070 (short paper)},
  year = {2010},
  month={August},
  editor    = {Helder Coelho and
               Rudi Studer and
               Michael Wooldridge},
  publisher = {IOS Press},
  address = {Lisbon, Portugal},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {215},
  isbn      = {978-1-60750-605-8},
  ee        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
  keywords = {description_logics, non_monotonic_reasoning}
}


@book{papadimitriou,
  author={Christos H. Papadimitriou},
  title={Computational Complexity},
  publisher={Addison-Wesley Publishing Company},
  year={1994}
}
  
  
@inproceedings{donini97:ijcai,
 author    = {Francesco M. Donini and
              Daniele Nardi and
              Riccardo Rosati},
 title     = {{Autoepistemic Description Logics}},
  booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), volume 1},
  address={Nagoya, Japan},
  editor={Georgeff, M.P. and Pollack, M.E.},
  month={August},
  publisher={Morgan Kaufmann},
 year      = {1997},
 pages     = {136-141}
}

@inproceedings{brewka8,
  author = {Brewka, G.},
  title = {{Adding Priorities and Specificity to Default Logic}},
  booktitle = {Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA 1994)},
  series={Lecture Notes in Artificial Intelligence (LNAI)}, 
  volume={838},
  pages={247-260},
  publisher={Springer, Verlag},
  editor={MacNish, C. AND Pearce, D. AND Moniz Pereira, L.},
  year={1994} 
}

@inproceedings{brewka,
  author = {Brewka, G. AND Junker, U.},
  editor    = {Kruse, R. and
               Siegel, P.},
  title = {{Handling partially ordered defaults in TMS}},
  booktitle = {Proceedings of the 1st European Conference on Symbolic and Quantitative Approaches for Uncertainty (ECSQARU 1991)}, 
  address={Marseille, France},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science (LNCS)},
  volume    = {548},
  year      = {1991}
}

@inproceedings{lif1,
  author    = {Vladimir Lifschitz},
  title     = {Nonmonotonic Databases and Epistemic Queries},
  booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991)},
  editor={Mylopoulos, J. and Reiter, R.},
  address={Sidney, Australia},
  month={August},
  publisher={Morgan Kaufmann},
  year      = {1991},
  pages     = {381-386}
}

@article{lif2,
  author    = {Vladimir Lifschitz},
  title     = {Minimal Belief and Negation as Failure},
  journal   = {Artificial Intelligence},
  volume    = {70},
  number    = {1-2},
  year      = {1994},
  pages     = {53-72}
}

@book{handbook,
title={The Description Logic Handbook - Theory, Implementation, and Applications, 2nd edition},
author={Baader, F. and Calvanese, D. and McGuinness, D.L. and Nardi, D. and Patel-Schneider, P.F.},
publisher={Cambridge},
year={2007}
}

@book{pozzatofaia-TIPO_B,
  author =        {G. L. Pozzato},
  title =         {{Conditional and Preferential Logics: Proof Methods and Theorem Proving}},
  series= {Frontiers in Artificial Intelligence and Applications},
  volume={208},
  publisher =     {IOS Press},
  year =          {2010}
}

@inproceedings{sudafricani,
  author    = {Katarina Britz and
               Johannes Heidema and
               Tommie Meyer},
  title     = {{Modelling Object Typicality in Description Logics}},
  booktitle = {Proceedings of the 22nd International Workshop on Description
               Logics (DL2009)},
  year      = {2009},
  ee        = {http://ceur-ws.org/Vol-477/paper_23.pdf}
}

@inproceedings{sudafricaniKR,
  author    = {Katarina Britz and
               Johannes Heidema and
               Thomas Meyer},
  title     = {Semantic Preferential Subsumption},
  editor    = {Brewka, G. and
               Lang, J.},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Eleventh International Conference (KR 2008)},
  address={Sidney, Australia},
  publisher = {AAAI Press},
  year      = {2008},
  month={September},
  pages     = {476-484}
}

@ARTICLE{FI09,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{$\mathcal{ALC}$+{\bf T}}: a Preferential Extension of {Description Logics}},
  journal = {Fundamenta Informaticae},
  year = {2009},
  volume={96},
  doi={10.3233/FI-2009-185},
  pages={1--32},
  publisher={IOS Press},
  keywords={tableaux,description_logics,nonmonotonic_reasoning}
}

@inproceedings{bonattiijcai2009,
  author = {P. Bonatti and M. Faella and L. Sauro},
  title = {{Defeasible inclusions in low-complexity DLs: Preliminary notes}},
  editor={Boutilier, C.},
  booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)},
  address={Pasadena, California, USA},
  month={July},
  publisher={Morgan Kaufmann},
  pages={696--701},
  year={2009}
}



@inproceedings{lpar2005,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{A}nalytic {T}ableaux for {KLM} {P}referential and {C}umulative {L}ogics},
  booktitle = {LPAR 2005, Lecture Notes in Artificial Intelligence (LNAI) \emph{3835, 666-681}} ,
  year={2005}
}


@inproceedings{galen,
  author = {A. Rector and I. Horrocks},
  title = {Experience
building a large, re-usable medical ontology using a description
logic with transitivity and concept inclusions},
  booktitle = {Proc.
Workshop on Ontological Engineering},
  year={1997}
}


@article{gene,
  author={{The GO Consortium}},
  title={Gene Ontology: Tool for
the unification of biology},
    journal = {Nature Genetics},
    year = {2000},
    volume = {25}
}



@article{snomed,
  author={K.A. Spackman},
  title={Managing clinical terminology
hierarchies using algorithmic calculation of subsumption: Experience
with SNOMED-RT},
    journal = {J. of the American Medical Informatics
Association},
    year = {2000},
    volume = {Fall Symposium Special Issue}
}



@article{5bl,
  author={B. Nebel},
  title={Terminological Reasoning is Inherently Intractable},
    journal = {Artificial Intelligence},
    year = {1990},
    volume = {43},
    number = {2},
    pages = {235--249}
}

@inproceedings{1bl,
  author = {F. Baader},
  title = {Terminological cycles in a description
logic with existential restrictions},
  editor={Gottlob, G. and Walsh, T.},
  booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003)},
  address={Acapulco, Mexico},
  month={August},
  publisher={Morgan Kaufmann},
  pages={325-330},
  year={2003}
}

@inproceedings{2bl,
  author = {S. Brandt},
  title = {Polynomial time reasoning in a description
logic with existential restrictions, GCI axioms, and what
else?},
  booktitle = {Proc. of ECAI'04, \emph{pp. 298-302}},
  year={2004}
}


@inproceedings{trfundam,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{On Extending Description Logics for Reasoning About Typicality: a First Step}},
  booktitle = {Technical Report 116/09, Dip. di Informatica, Univ. di Torino},
  year={2009}
}

@inproceedings{tr2009,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{Reasoning About Typicality in Low Complexity Description Logics: Preliminary Results}},
  booktitle = {Technical Report 121/09, Dip. di Informatica, Univ. di Torino},
  year={2009}
}


@inproceedings{baaderijcai,
  author = {F. Baader and S. Brandt and C. Lutz},
  title = {{Pushing the} $\mathcal{EL}$ {envelope}},
  editor={Kaelbling, L.P. and Saffiotti, A.},
  booktitle = {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)},
  address={Edinburgh, Scotland, UK},
  month={August},
  publisher={Professional Book Center}, 
  pages={364-369},
  year={2005}
}

@inproceedings{baader2005,
  author = {F. Baader and S. Brandt and C. Lutz},
  title = {{Pushing the} $\mathcal{EL}$ {envelope}},
  booktitle = {LTCS-Report LTCS-05-01, Inst. for Theoretical
Computer Science, TU Dresden, http://lat.inf.tudresden.de/research/reports.html},
  year={2005}
}



@INPROCEEDINGS{jelia2008,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N. AND Pozzato, G.~L.},
  title = {{R}easoning {A}bout {T}ypicality in {P}referential {D}escription {L}ogics},
  booktitle = {Proceedings of the 11th European Conference on Logics in
    Artificial Intelligence (JELIA 2008)},
  year = {2008},
  editor = {H\'olldobler, S. AND Lutz, C. AND Wansing, H.},
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  volume={5293},
  pages={192--205},
  address = {Dresden, Germany},
  month = {September},
  publisher = {Springer-Verlag},
  key_words={description_logics,tableaux}
}


@inproceedings{kesattler,
  author = {P. Ke and U. Sattler},
  title = {{N}ext {S}teps for {D}escription {L}ogics of {M}inimal {K}nowledge and {N}egation as {F}ailure},
  booktitle = {Proceedings of the 21st International Workshop on {Description
               Logics (DL2008)}} ,
  editor    = {Baader, F. and
               Lutz, C. and
               Motik, B.},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {353},
  year={2008},
  address = {Dresden, Germany},
  month = {May},
  pages={}
}




@inproceedings{motikrosati,
  author    = {B. Motik and
               R. Rosati},
  title     = {{A Faithful Integration of Description Logics with Logic
               Programming}},
  booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)},
  address={Hyderabad, India},
  editor={Veloso, M.M.},
  month={January},
  publisher={Morgan Kaufmann},
  year      = {2007},
  pages     = {477-482}
}

@article{antoniou,
    author = {N. Bassiliades and G. Antoniou and I. Vlahavas},
    title = {{A} {D}efeasible {L}ogic {R}easoner for the {S}emantic {W}eb},
    journal = {International Journal of Semantic Web and Information Systems (IJSWIS 2006)},
    year = {2006},
    volume = {2},
    number = {1},
    pages = {1--41}
}

@inproceedings{moinard,
  author = {Moinard, Y.},
  title = {{G}eneral {P}referential {E}ntailments as {C}ircumscriptions},
  booktitle={Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches for Uncertainty (ECSQARU 2001)},
  address = {Toulouse, France},
  month = {September},
  publisher = {Springer},             
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  volume={2143},
  pages={532--543},
  year={2001}
}

@article{Governatori:02,
    author="A. Artosi and G. Governatori and  A. Rotolo",
    title="Labelled Tableaux for Non-monotonic Reasoning: Cumulative Consequence Relations",
    year="2002",
    journal="J. of Logic and Computation" ,
    volume={12},
    number={6},
    pages="1027-1060"
}

@article{free-variable-tableau,
  author={B.~Beckert and R.~Gor\'e},
  title={Free Variable Tableaux for Propositional Modal Logics},
  year={1997},
  journal={In Proc. of TABLEAUX 1997 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 1227 of Lecture Notes in Artificial Intelligence (LNAI), Springer-Verlag},
  pages={91-106}
}

@article{leanTAP,
  author={B.~Beckert and J.~Posegga},
  title={leanTAP: Lean Tableau-based Deduction},
  year={1995},
  journal={Journal of Automated Reasoning},
  volume={15},
  number={3},
  pages={339-358}
}


@article{cond-e-non-monotonic-2,
  author={J.~Bell},
  title={The Logic of Nonmonotonicity},
  year={1990},
  journal={Artificial Intelligence},
  volume={41},
  number={3},
  pages={365-374}
}

@article{Boutilier:94,
  author={C.~Boutilier},
  title={Conditional Logics of Normality: a Modal Approach},
  year={1994},
  journal={Art. Int.},
  volume={68},
  number={1},
  pages={87-154}
}

@article{Chellas,
  author={B.~F.~Chellas},
  title={Basic Conditional logics},
  year={1975},
  journal={Journal of Philosophical Logic},
  volume={4},
  pages={133-153}
}


@article{counterfactuals,
  author={T.~Costello and J.~McCarthy},
  title={Useful Counterfactuals},
  year={1999},
  journal={ETAI (Electronic Transactions on Artificial Intelligence)},
  volume={3},
  pages={Section A}
}

@article{CroccoFarinas:95,
  author={G.~Crocco and L.~Fari{\~{n}}as del Cerro},
  title={Structure, Consequence Relation and Logic, volume~4},
  year={1995},
  journal={In D.~M. Gabbay (ed.), What is a Logical System, Oxford University
Press},
  pages={239-259}
}

@article{crocco2,
  author={G.~Crocco and L.~Fari{\~{n}}as del Cerro and A.~Herzig},
  title={Conditionals: From Philosophy to Computer Science},
  year={1995},
  journal={Oxford University Press, Studies in Logic and Computation}
}


@article{Delgrande:87,
  author={J.~P.~Delgrande},
  title={A First-order Conditional Logic for Prototypical Properties},
  year={1987},
  journal={Artificial Intelligence},
  volume={33},
  number={1},
  pages={105-130}
}

@article{cond-e-non-monotonic,
  author={J.~P.~Delgrande},
  title={An Approach to Default Reasoning Based on a First-order
  Conditional Logic: Revised report},
  year={1988},
  journal={Artificial Intelligence},
  volume={36},
  number={1},
  pages={63-90}
}

@article{GroeneboerDelgrande:90,
  author={J.~P.~Delgrande and C.~Groeneboer},
  title={A General Approach for Determining the Validity of Commonsense
  Assertions Using Conditional Logics},
  year={1990},
  journal={International Journal of Intelligent Systems},
  volume={5},
  number={5},
  pages={505-520}
}


@article{deSwart,
  author={H.~C.~M.~de~Swart},
  title={A Gentzen-or Beth-type System, a Practical Decision Procedure
  and a Constructive Completeness Proof for the Counterfactual Logics VC and
  VCS},
  year={1983},
  journal={Journal of Symbolic Logic},
  volume={48},
  number={1},
  pages={1-20}
}

@article{leanTAP-Rev,
  author={M.~Fitting},
  title={leanTAP Revisited},
  year={1998},
  journal={Journal of Logic and Computation},
  volume={8},
  number={1},
  pages={33-47}
}

@article{Fitting,
  author={M.~Fitting},
  title={Proof methods for Modal and Intuitionistic Logic},
  year={1983},
  address={Dorderecht},
  journal={Synthese library},
  volume={169}
}

@article{lehmanBel,
  author={N.~Friedman and J.~Halpern},
  title={Belief Revision: a Critique},
  year={1999},
  journal={Journal of Logic, Language and Information},
  volume={8},
  number={4},
  pages={401-420}
}

@article{FriedmanHalpern:94,
  author={N.~Friedman and J.~Halpern},
  title={On the Complexity of Conditional Logics},
  year={1994},
  journal={In Principles of Knowledge Representation and Reasoning:
Proc. of the 4th International Conference, KR 1994},
  pages={202-213}
}

@article{GiordanoSchwind:04,
  author={L. Giordano and C. Schwind},
  title={Conditional Logic of Actions and Causation},
  year={2004},
  journal={Artificial Intelligence},
  volume={157},
  number={1-2},
  pages={239-279}
}

@article{dov,
  author={D.~M.~Gabbay},
  title={Labelled Deductive Systems (vol I)},
  year={1996},
  journal={Oxford Logic Guides, Oxford University Press}
}

@article{12,
  author={D.~M.~Gabbay and L.~Giordano and A.~Martelli and N.~Olivetti and M.~L.~Sapino},
  title={Conditional Reasoning in Logic Programming},
  year={2000},
  journal={Journal of Logic Programming},
  volume={44},
  number={1-3},
  pages={37-74}
}


@article{belief-revision,
  author={P.~Gardenfors and H.~Rott},
  title={Belief Revision},
  year={1995},
  journal={Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4,
  ed. by D. M. Gabbay, C. J. Hogger, and J. A. Robinson},
  publisher={Oxford University Press}
}

@article{Gent,
  author={I.~P.~Gent},
  title={A Sequent or Tableaux-style System for Lewis's Counterfactual Logic VC},
  year={1992},
  journal={Notre Dame Journal of Formal Logic},
  volume={33},
  number={3},
  pages={369-382}
}

@article{Ginsberg:86,
  author={M.~L.~Ginsberg},
  title={Counterfactuals},
  year={1986},
  journal={Artificial Intelligence},
  volume={30},
  number={1},
  pages={35-79}
}

@article{GiordanoGliozziOlivetti:98,
  author={L.~Giordano and V.~Gliozzi and N.~Olivetti},
  title={A Conditional Logic for Belief Revision},
  year={1998},
  journal={In Proeedings of the European Workshop on Logics in Artificial Intelligence JELIA 98, Springer Lecture Notes in Artificial Intelligence (LNAI) 1489},
  pages={294-308}
}

@article{GiordanoGliozziOlivettiAI,
  author={L.~Giordano and V.~Gliozzi and N.~Olivetti},
  title={Weak AGM Postulates and Strong Ramsey Test: a logical formalization},
  year={2005},
  journal={Artificial Intelligence},
  volume={168},
  number={1-2},
  pages={1-37}
}

@article{OlivettiSchwind:99,
  author={N.~Olivetti and C.~B.~Schwind},
  title={Analytic Tableaux for
Conditional Logics},
  year={2000},
  journal={Technical Report, University of Torino}
}


@article{16,
  author={L.~Giordano and V.~Gliozzi and N.~Olivetti},
  title={Iterated Belief Revision and Conditional Logic},
  year={2002},
  journal={Studia Logica},
  volume={70},
  number={1},
  pages={23-47}
}


@article{Grahne:91JLC,
  author={G.~Grahne},
  title={Updates and Counterfactuals},
  year={1998},
  journal={Journal of Logic and Computation},
  volume={8},
  number={1},
  pages={87-117}
}

@article{Hudelmaier,
  author={J.~Hudelmaier},
  title={An $\mathcal{O}(n~log~n)$-space Decision Procedure for Intuitionistic
Propositional Logic},
  year={1993},
  journal={Journal of Logic and Computation},
  volume={3},
  number={1},
  pages={63-75}
}


@article{KrausLehmannMagidor:90,
  author={S.~Kraus and D.~Lehmann and M.~Magidor},
  title={Nonmonotonic Reasoning, Preferential Models and Cumulative Logics},
  year={1990},
  journal={Artificial Intelligence},
  volume={44},
  number={1-2},
 pages={167-207}
}

@article{Lamarre:94,
  author={P.~Lamarre},
  title={A Tableaux Prover for Conditional Logics},
  year={1993},
  journal={In Principles of Knowledge Representation and Reasoning:
Proc. of the 4th International Conference},
  pages={572-580}
}

@article{Lamarre:92,
  author={P.~Lamarre},
  title={Etude des Raisonnements Non-monotones: Apports des Logiques des
Conditionnels et des Logiques Modales},
  year={1992},
  journal={PhD thesis, Universit\'e Paul Sabatier, Toulouse}
}


@article{Lewis:73,
  author={D.~Lewis},
  title={Counterfactuals},
  year={1973},
  journal={Basil Blackwell Ltd}
}

@article{ramsey-test,
  author={S.~Lindstrom and W.~Rabinowicz},
  title={Belief revision, Epistemic Conditionals and the Ramsey Test},
  year={1992},
  journal={Synthese 91},
  pages={195-237}
}



@article{Nute80,
  author={D.~Nute},
  title={Topics in Conditional Logic},
  year={1980},
  journal={Reidel, Dordrecht}
}

@article{diagnosi,
  author={N.~Obeid},
  title={Model-Based Diagnosis and Conditional Logic},
  year={2001},
  journal={Applied Intelligence},
  volume={14},
  pages={213-230}
}


@article{articolo-Olivetti,
  author={N.~Olivetti and C.~B.~Schwind},
  title={A Calculus and Complexity Bound for Minimal Conditional Logic},
  year={2001},
  journal={In Proc. of ICTCS01 (Italian Conference on Theoretical Computer Science), volume 2202 of Lecture Notes in Computer Science (LNCS), Springer-Verlag},
  pages={384-404}
}

@article{posu,
  author={G.~L.~Pozzato},
  title={Deduzione Automatica per Logiche Condizionali: Analisi e
  Sviluppo di un Theorem Prover},
  year={2003},
  journal={Tesi di laurea, Informatica, Universit\`a di Torino. In Italian, download at
\emph{\texttt{http://www.di.unito.it/$\thicksim$pozzato/tesiPozzato.html}}}
}


@article{Schwind:99,
  author={C. B. Schwind},
  title={Causality in Action Theories},
  year={1999},
  journal={Electronic Transactions on Artificial Intelligence (ETAI)},
  volume={3},
  number={A},
  pages={27-50}
}


@article{Stalnaker,
  author={R.~Stalnaker},
  title={A Theory of Conditionals},
  year={1968},
  journal={In N. Rescher (ed.), Studies in Logical Theory, American Philosophical
Quarterly, Monograph Series no.2, Blackwell, Oxford},
  pages={98-112}
}

@article{vigano,
  author={L. Vigan\`{o}},
  title={Labelled Non-classical Logics},
  year={2000},
  journal={Kluwer Academic Publishers, Dordrecht}
}

@article{Miller:91,
  author={D.~Miller and G.~Nadathur and F.~Pfenning and A.~Scedrov},
  title={Uniform Proofs as a Foundation for Logic Programming},
  year={1991},
  journal={In Annal of Pure and Applied Logic},
  volume={51},
  number={1-2},
  pages={125-157}
}

@article{whatdoes,
 author = {D.~Lehmann and M.~Magidor},
 title = {What does a conditional knowledge base entail?},
 journal = {Artificial Intelligence},
 volume = {55},
 number = {1},
 year = {1992},
 issn = {0004-3702},
 pages = {1--60},
 doi = {http://dx.doi.org/10.1016/0004-3702(92)90041-U},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }

@article{saranegri,
  author={S.~Negri},
  title={Proof Analysis in Modal Logic},
  journal={Journal of Philosophical Logic, to appear},
  year={2005},
}

@article{tech-rep,
  author={N.~Olivetti and G.~L.~Pozzato and C.~B.~Schwind},
  title={A Sequent Calculus and a Theorem Prover for Standard Conditional Logics: Extended Version},
  year={2005},
  journal={Technical Report 87/05, Dip. di Informatica, Universit\`a degli Studi di Torino, available at
    \emph{\texttt{http://www.di.unito.it/$\thicksim$argo/biblio/publications.php?author=Pozzato}}}
}

@article{shoham,
 author = {Y. Shoham},
 title = {A semantical approach to nonmonotonic logics},
 journal = {In Proc. of Logics in Computer Science},
 year = {1987},
 pages = {275--279},
 address = {Ithaca, NY, USA},
 }

@article{gabbay,
 author = {D. Gabbay},
 title = {Theoretical foundations for non-monotonic reasoning in expert systems},
 journal = {Logics and models of concurrent systems, Springer},
 year = {1985},
 isbn = {0-387-15181-8},
 pages = {439--457},
 address = {New York, NY, USA},
 }

@article{halpern-first-order,
 author = {N. Friedman and J. Y. Halpern and D. Koller},
 title = {First-order conditional logic for default reasoning revisited},
 year = {2000},
 pages = {175--207},
 journal = {ACM TOCL},
 volume={1},
 number={2},
 address = {New York, NY, USA}
 }

@article{halpern-plausibility,
 author = {N. Friedman and J. Y. Halpern},
 title = {Plausibility measures and default reasoning},
 journal = {Journal of the ACM},
 year = {2001},
 pages = {648--685},
 volume={48},
 number={4}
 }

@article{gor\E8,
 author = {R. Gor\'e},
 title = {Tableau Methods for Modal and Temporal Logics},
 journal = {In Handbook of Tableau Methods, Kluwer Academic Publishers},
 year = {1999},
 pages = {297--396}
 }

@inproceedings{Katsuno-Sato:91,
 author = {H. Katsuno and K. Sato},
 title = {A unified view of consequence relation, belief revision and conditional logic},
  editor={Mylopoulos, J. and Reiter, R.},
  booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991)},
  address={Sydney, Australia},
  month={August},
  publisher={Morgan Kaufmann},
 year = {1991},
 pages = {406--412}
 }

@inproceedings{zimmermann,
 author = {A. Heuerding and M. Seyfried and H. Zimmermann},
 title = {Efficient Loop-Check for Backward
Proof Search in Some Non-Classical Propositional Logics},
 booktitle = {Proc. of TABLEAUX 1996, volume 1071 of Lecture Notes in Artificial Intelligence (LNAI), Springer},
 year = {1996},
 pages = {210--225}
 }


@book{GabbayOlivetti2000a,
  author =        {D.~M. Gabbay and N.~Olivetti},
  title =         {Goal-directed Proof Theory},
  publisher =     {Kluwer Academic Publishers},
  year =          {2000}
}

@article{MillerIntuitionistic,
  author={D.~Miller and J.~S.~Hodas},
  title={Logic Programming in a Fragment of Intuitionistic Linear Logic},
  year={1994},
  journal={Journal of Information and Computation},
  volume={110},
  number={2},
  pages={327-365}
}

@article{Pym,
  author={D.~J.~Pym and J.~Harland},
  title={A Uniform Proof-Theoretic Investigation of Linear Logic Programming},
  year={1994},
  journal={Journal of Logic and Computation},
  volume={4},
  number={2},
  pages={175-207}
}

@book{basicProofTheory,
  author =        {A.~S.~Troelstra and H.~Schwichtenberg},
  title =         {Basic Proof Theory},
  publisher =     {Cambridge University Press},
  year =          {2000}
}


@book{smullyan,
  author =        {R.M. Smullyan},
  title =         {First-Order Logic},
  publisher =     {Springer-Verlag, Berlin},
  year =          {1968}
}


@inproceedings{lpar2005,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{A}nalytic {T}ableaux for {KLM} {P}referential and {C}umulative {L}ogics},
  booktitle = {LPAR 2005, Lecture Notes in Artificial Intelligence (LNAI) \emph{3835, 666-681}} ,
  year={2005}
}

@inproceedings{GGOSTableaux2003,
  author={L.~Giordano and V.~Gliozzi and N.~Olivetti and C.~Schwind},
  title={Tableau Calculi for Preference-Based Conditional Logics},
  year={2003},
  booktitle={Proc. of TABLEAUX 2003, Lecture Notes in Artificial Intelligence (LNAI) 2796},
  pages={81-101},
  publisher = {Springer},
}

@inproceedings {nicola9,
 author = {J. Pearl},
 title = {System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning},
 booktitle = {Proc. of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge},
 publisher={Morgan Kaufmann Publishers Inc.},
 year = {1990},
 isbn = {1-55860-105-8},
 pages = {121--135}
}

@inproceedings {Berlino,
  author = {L.~Giordano and V.~Gliozzi and N.~Olivetti and C.~Schwind},
  title = {Extensions of Tableau Calculi for Preference-based Conditional Logics},
  booktitle = {Proc. of M4M-4},
  year = {2005},
  publisher = {Informatik-Bericht 194},
  pages = {220-234},
}

@inproceedings{CroccoLamarre:92,
  author={G.~Crocco and P.~Lamarre},
  title={On the Connection between Non-Monotonic Inference Systems and  Conditional Logics},
  booktitle={Proc. of KR 92},
  year={1992},
  pages={565-571}
}



@INPROCEEDINGS{m4m4,
  author = {Olivetti, N. AND Pozzato, G.~L.},
  title = {{KLMLean 1.0}: a {T}heorem {P}rover for {L}ogics of {D}efault {R}easoning},
  booktitle = {Proc. of M4M-4},
  year = {2005},
  publisher = {Informatik-Bericht 194},
  pages = {235-245},
  pdf = {http://www.di.unito.it/\~{}argo/papers/2005_OP_m4m4.pdf},
  timestamp = {2005.12.04},
}

@ARTICLE{toclklm,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{A}nalytic {T}ableaux {C}alculi for {KLM} {L}ogics of {N}onmonotonic {R}easoning},
  journal = {ACM Transactions on Computational Logics (TOCL)},
  year = {2009},
  volume = {10},
  number={3},
  pdf={http://portal.acm.org/ft_gateway.cfm?id=1507248&type=pdf&coll=GUIDE&dl=GUIDE&CFID=41599059&CFTOKEN=89417926},
  keywords={tableaux,klm_logics}
}


@ARTICLE{tocl,
  author = {Olivetti, N. AND Pozzato, G.~L. AND Schwind, C. B.},
  title = {{A} {S}equent {C}alculus and a {T}heorem {P}rover for {S}tandard {C}onditional
      {L}ogics},
  journal = {ACM Transactions on Computational Logics (TOCL)},
  volume = {to appear},
  pdf = {http://www.di.unito.it/\~{}argo/papers/2005_OPS_TOCL.pdf},
  timestamp = {2005.12.04},
}

@inproceedings{KLM_tableaux2005,
 author    = {Giordano, L. and Gliozzi, V. and Olivetti, N. and Pozzato, G.~L.},
 title     = {{A} {T}ableaux {C}alculus for {KLM} {P}referential and {C}umulative {L}ogics},
 year      = {2005},
 pages     = {11--26},
 address   = {Koblenz, Germany},
 month     = {September},
 booktitle = {Position Papers and Tutorial Description of TABLEAUX 2005},
 publisher   = {Fachberichte INFORMATIK},
 volume      = {12/2005},
 pdf = {http://www.di.unito.it/\~{}argo/papers/TAB05_KL_revised.pdf},
}


@inproceedings{condlean3tab2005,
 author    = {Olivetti, N. and Pozzato, G.~L.},
 title     = {{CondLean 3.0}: {I}mproving {C}ondLean for {S}tronger {C}onditional {L}ogics},
 year      = {2005},
 pages     = {328--332},
 booktitle = {Proc. of TABLEAUX 2005},
 publisher   = {Springer-Verlag},
 series      = {{Lecture Notes in Artificial Intelligence (LNAI)}},
 volume      = {3702}
}

@InCollection{unilog,
  author = {Olivetti, N. AND Pozzato, G.~L.},
  title = {{CondLean 2.0}: an {E}fficient {T}heorem {P}rover for {S}tandard {C}onditional {L}ogics},
  booktitle = {Handbook of the 1st World Congress and School on Universal Logic},
  pages = {89--90},
  OPTpublisher = {},
  year = {2005},
  OPTvolume = {},
  OPTnumber = {},
  OPTseries = {},
  OPTtype = {},
  OPTchapter = {},
  address = {Montreux, Switzerland},
}

@INPROCEEDINGS{tableaux2003,
  author = {N. Olivetti AND G.~L. Pozzato},
  title = {{CondLean}: {A} {T}heorem {P}rover for {C}onditional {L}ogics},
  booktitle = {Proc. of TABLEAUX 2003},
  year = {2003},
  volume = {2796},
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  pages = {264--270},
  publisher = {Springer},
  nationality = {internazionale},
  typepublication = {convegno},
  authordip = {10},
}

@article{multiset-ordering,
 author = {N.~Dershowitz and Z.~Manna},
 title = {Proving termination with multiset orderings},
 journal = {Communication of the ACM},
 volume = {22},
 number = {8},
 year = {1979},
 issn = {0001-0782},
 pages = {465--476},
 doi = {http://doi.acm.org/10.1145/359138.359142},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{dubois-prade,
  author={S.~Benferhat and D.~Dubois and H.~Prade},
  title={Nonmonotonic Reasoning, Conditional Objects and Possibility Theory},
  journal={Artificial Intelligence},
  volume={92},
  number={1-2},
  year={1997},
  pages={259--276}
}

@book{hughes,
  author={G.E.~Hughes and M.J.~Cresswell},
  title={A Companion to Modal Logic},
  year={1984},
  publisher={Methuen}
}

@book{nicola1,
  author={D.~Makinson},
  title={Bridges from Classical to Nonmonotonic logic},
  year={2005},
  publisher={London: King's College Publications. Series: Texts in Computing, vol 5}
}

@article{nicola2,
  author={D.~Makinson},
  title={Bridges between classical and nonmonotonic logic},
  journal={Logic Journal of the IGPL},
  volume={11},
  number={1},
  year={2003},
  pages={69--96}
}

@article{nicola3,
  author={O.~Arieli and A.~Avron},
  title={General patterns for nonmonotonic reasoning: From basic entailments to
plausible relations},
  journal={Logic Journal of the IGPL},
  volume={8},
  number={2},
  year={2000},
  pages={119--148}
}

@article{nicola5,
  author={S.~Benferhat and A.~Saffiotti and P.~Smets},
  title={Belief functions and default reasoning},
  journal={Artificial Intelligence},
  volume={122},
  number={1-2},
  year={2000},
  pages={1--69}
}

@article{nicola6,
  author={E.~Weydert},
  title={System JLZ - rational default reasoning by minimal ranking constructions},
  journal={Journal of Applied Logic},
  volume={1},
  number={3-4},
  year={2003},
  pages={273--308}
}

@article{nicola7,
  author={D.~Dubois and H.~Fargier and P.~Perny and H.~Prade},
  title={Qualitative decision theory: from Savage's axioms to nonmonotonic reasoning},
  journal={Journal of the ACM},
  volume={49},
  number={4},
  year={2002},
  pages={455-495}
}

@article{nicola8,
  author={D.~Dubois and H.~Fargier and P.~Perny},
  title={Qualitative decision theory with preference relations and comparative uncertainty: An axiomatic approach},
  journal={Art. Int.},
  volume={148},
  number={1-2},
  year={2003},
  pages={219--260}
}


@book{gardenfors,
  author={P.~Gardenf\"{o}rs},
  title={Knowledge in Flux},
  year={1988},
  publisher={MIT Press}
}

@article{free-variable-tableau-studia-logica,
  author={B.~Beckert and R.~Gor\'e},
  title={Free-variable Tableaux for Propositional Modal Logics},
  year={2001},
  journal={Studia Logica},
  pages={59-96},
  volume={69},
  number={1},
  publisher={Kluwer}
}

@inproceedings{Tableaux2007,
  author={L.~Giordano and V.~Gliozzi and G.~L.~Pozzato},
  title={KLMLean 2.0: a Theorem Prover for KLM Logics of Nonmonotonic Reasoning},
  year={2007},
  booktitle={Proc. of TABLEAUX 2007},
  publisher = {to appear}
}

@inproceedings{freefirstorder1,
  author={S.~V.~Reeves},
  title={Semantic Tableaux as a Framework for Automated Theorem-Proving},
  year={1987},
  booktitle={Proc. of Advances in Artificial Intelligence (AISB-87)},
  editor={C. Mellish and J. Hallam},
  pages={125-139},
  publisher = {Wiley}
}

@book{freefirstorder2,
  author={M.C. Fitting},
  title={First-Order Logic and Automated Theorem Proving},
  year={1996},
  publisher={Springer (2nd ed.)}
}

@inproceedings{jelia2006,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{A}nalytic {T}ableaux {C}alculi for {KLM} {R}ational {L}ogic {R}},
  booktitle = {Proc. of JELIA, Lecture Notes in Artificial Intelligence (LNAI) \emph{4160, pp. 190-202}},
  year={2006}
}

@phdthesis{phd-pozzato,
  author={Pozzato, G.~L.},
  title={Proof Methods for Conditional and Preferential Logics},
  year={2007},
  institute={Universit\`a degli Studi di Torino}
}

@article{buchheit-et-al,
  author    = {M. Buchheit and
               F. M. Donini and
               A. Schaerf},
  title     = {Decidable Reasoning in Terminological Knowledge Representation
               Systems},
  journal   = {Journal of Artificial Intelligence Research (JAIR)},
  volume    = {1},
  year      = {1993},
  pages     = {109-138}
}

@article{baader95a,
  author    = {F. Baader and
               B. Hollunder},
  title     = {Embedding Defaults into Terminological Knowledge Representation
               Formalisms},
  journal   = {Journal of Automated Reasoning (JAR)},
  volume    = {14},
  number    = {1},
  year      = {1995},
  pages     = {149-180}
}

@article{baader95b,
  author    = {F. Baader and
               B. Hollunder},
  title     = {Priorities on Defaults with Prerequisites, and Their Application
               in Treating Specificity in Terminological Default Logic},
  journal   = {Journal of Automated Reasoning (JAR)},
  volume    = {15},
  number    = {1},
  year      = {1995},
  pages     = {41-68}
}

@article{donini98,
  author    = {F. M. Donini and
               M. Lenzerini and
               D. Nardi and
               W. Nutt and
               A. Schaerf},
  title     = {{An Epistemic Operator for Description Logics}},
  journal   = {Artificial Intelligence},
  volume    = {100},
  number    = {1-2},
  year      = {1998},
  pages     = {225-274}
}

@inproceedings{donini97,
  author    = {F. M. Donini and
               D. Nardi and
               R. Rosati},
  title     = {{Autoepistemic Description Logics}},
  booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997)},
  editor={Georgeff, M.P. and Pollack, M.E.},
  address={Nagoya, Japan},
  month={August},
  publisher={Morgan Kaufmann},
  year      = {1997},
  pages     = {136-141}
}


@article{donini2002,
  author    = {F. M. Donini and
               D. Nardi and
               R. Rosati},
  title     = {{Description logics of minimal knowledge and negation as
               failure}},
  journal   = {{ACM Transactions on Computational Logic (ToCL)}},
  volume    = {3},
  number    = {2},
  year      = {2002},
  pages     = {177-225}
}

@inproceedings{eiter2004,
  author    = {T. Eiter and
               T. Lukasiewicz and
               R. Schindlauer and
               H. Tompits},
  title     = {{Combining Answer Set Programming with Description Logics
               for the Semantic Web}},
  year={2004},
  editor    = {Dubois, D. and
               Welty, C.A. and
                Williams, M.},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the 9th International Conference (KR 2004)}, 
  address={Whistler, Canada}, 
  publisher = {AAAI Press},
  month={June},
  pages={141-151}
}

@inproceedings{lambrix98,
  author    = {P. Lambrix and
               N. Shahmehri and
               N. Wahll{\"o}f},
  title     = {{A Default Extension to Description Logics for Use in an
               Intelligent Search Engine}},
  booktitle = {Proc. of HICSS},
  year      = {1998},
  pages     = {28-35}
}

@inproceedings{padgham93,
  author    = {L. Padgham and
               T. Zhang},
  title     = {A Terminological Logic with Defaults: A Definition and an
               Application},
  editor={Bajcsy, R.},
  booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993)},
  address={Chamb\'ery, France},
  month={August},
  publisher={Morgan Kaufmann},
  year      = {1993},
  pages     = {662-668}
}

@article{rosati2005,
  author    = {R. Rosati},
  title     = {On the decidability and complexity of integrating ontologies
               and rules},
  journal   = {J. Web Sem.},
  volume    = {3},
  number    = {1},
  year      = {2005},
  pages     = {61-73}
}

@inproceedings{straccia93,
  author    = {U. Straccia},
  editor={Bajcsy, R.},
  title     = {Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics},
  booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993)},
  address={Chamb\'ery, France},
  month={August},
  publisher={Morgan Kaufmann},
  year      = {1993},
  pages     = {676-681}
}





@inproceedings{giugno,
  author = {Giugno, R. AND Lukasiewicz, T.},
  title = {{P}-$\mathcal{SHOQ}$({D}): {A} {P}robabilistic {E}xtension of $\mathcal{SHOQ}$({D}) for {P}robabilistic {O}ntologies in the {S}emantic {W}eb},
  year={2002},
  editor    = {Flesca, S. and
               Greco, S. and
               Leone, N. and
               Ianni, G.},
  pages={86--97},
  volume={2424},
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  booktitle = {Proceedings of JELIA 2002 (8th European Conference on Logics in
    Artificial Intelligence)},
}



@inproceedings{lpar2007,
  author = {Giordano, L. AND Gliozzi, V. AND Olivetti, N.  AND Pozzato, G.~L.},
  title = {{P}referential {D}escription {L}ogics},
  booktitle = {\emph{LPAR 2007. Lecture Notes in Artificial Intelligence (LNAI) 4790, pp. 257-272}},
  year={2007}
}
